141. A primer of formal logic

المؤلف:

المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

142. A profile of mathematical logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

143. A profile of mathematical logic.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

144. A profile of mathematical logic

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

145. A profile of mathematical logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.

رده :
QA9
.
D37
2004

146. A readable introduction to real mathematics

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

147. A resolution principle for a logic with restricted quantifiers

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع: Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87

148. A resolution principle for a logic with restricted quantifiers

المؤلف:

المکتبة: (طهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

149. A science of operations

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA76
.
6
.
P75
2010

150. A science of operations

المؤلف:

المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

151. A sequential introduction to real analysis /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Mathematical analysis,Precalculus

152. A structuralist theory of logic

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic, Symbolic and mathematical. ;

153. A structuralist theory of logic

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

رده :
BC
135
.
K64

154. A structuralist theory of logic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.

رده :
BC
,
135
,.
K67
,
1992

155. A structuralist theory of logic

پدیدآورنده :

موضوع : Logic, symbolic and mathematical,Implication (logic),Structuralism

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

156. A summary of scientific method /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical,Science-- Methodology

157. A survey of symbolic logic

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Logic, Symbolic and mathematical

رده :
BC
135
.
L4
1960

158. A survey of symbolic logic

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Logic, Symbolic and mathematical

رده :
164
Le-S

159. A survey of symbolic logic

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical.

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

160. A theory of formal deducibility

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
1
.
N87
no
.
6